DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Bando di selezione per il conferimento di assegni di ricerca per lo svolgimento del programma di ricerca denominato: “VERIFICA FORMALE AUTOMATIZZATA DI SISTEMI REAL-TIME/TECNICHE BASATE SU LOGICA PER LA VERIFICA FORMALE AUTOMATIZZATA DI SISTEMI IBRIDI REAL-TIME_2019_ASSEGNI_DEIB_207”
Deadline: 30-07-19
Interview: 17-10-19
Some documents related to this call are available in Italian only